Nuprl Definition : cr-explanation 13,45
cr-explanation{i:l}(es; Sys; f; e) == es-prior-fixedpoints{i:l}(es; Sys; f; e) 
latex

Upabstract chain replication
Wellformedness Lemmascr-explanation wf
Definitionses-prior-fixedpoints{i:l}(es; Sys; f; e)
FDL editor aliasescr-explanation

origin